Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Principles of Theoretical Logic' and 'The Will to Believe'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
23. Ethics / E. Utilitarianism / 4. Unfairness
Imagine millions made happy on condition that one person suffers endless lonely torture [James]